#!/bin/bash
# coverityLauncher 
#     script launch coverity for each compilation
#
#     usage:
#         coverityLauncher args
 
@coverityBuildStarter@ $*